COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	LISP: Programming and Proving
C00004 00003	∂10-Dec-79  1615	JMC  
C00005 ENDMK
C⊗;
LISP: Programming and Proving


John and Audrey Laski \cr
18 Ebury St. \cr
London SW1, England \cr

Joachim Laubsch \cr
Inst. fur Informatik \cr 
Azenbergstrasse 12 \cr
d7000 Stuttgart, West Germany \cr

D. Ribbens \cr
Institute d'Electricit\'e Montefiore, B 28 \cr
Universit\'e de Li\`ege du Sart Tilman \cr
B-4000 Li\`ege, Belgium \cr

Dr. V. M. Volchkov\cr
Institute for High Energy Physics\cr
Serpukhov, Moscow region, USSR\cr

Cohen Shimon \cr 
Faculty of Applied Mathematics \cr
Weizmann Institute of Science \cr
P. O. B. 26 \cr
Rehovot, Israel \cr

Georg Loew\cr 
Kleinstr. 60\cr
D-8000 M\"unchen 70\cr
West Germany\cr|

∂10-Dec-79  1615	JMC  
 ∂10-Dec-79  1556	HEARN at UTAH-20 	LISP Book   
Date: 10 Dec 1979 1552-MST
From: HEARN at UTAH-20
Subject: LISP Book
To: mccarthy at SU-AI

John, I hear that you and Carolyn Talcott are working on another LISP
book. Any chance I could see a draft?
Thanks,
Tony
-------